21. Introduction to logic: as developed by Muslim logicians
پدیدآورنده : / Sayyid Ali Murtada
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق,Logic,a03,a03
رده :
BC50
.
M8I5
2016
22. Invitation to Critical Thinking
پدیدآورنده : / Joel Rudinow, Vincent E. Barry
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Critical thinking,Logic,تفکر انتقادی,منطق,a03,a05,a03,a05
رده :
BC177
.
R75
2008
23. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
24. Linguistic Fuzzy Logic Methods in Social Sciences
پدیدآورنده : \ Badredine Arfi.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,منطق فازی,a04,a04,Social sciences-- Mathematical models.,علوم اجتماعی -- الگوهای ریاضی
رده :
H
61
.
25
.
A7L5
2010
E-Book
,
25. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
26. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
27. Logic, Rewriting, and Concurrency
پدیدآورنده : \ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a05,a03,a05,Computer software -- Development.,نرم‌افزار -- تولید
رده :
QA
76
.
L6
2015
E-Book
,
28. Logic and Knowledge
پدیدآورنده : \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
29. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
30. Logic and Representation
پدیدآورنده : \ Robert C. Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Semantics (Philosophy),زبان و منطق,معنی‌شناسی (فلسفه),a03,a04,a03,a04
رده :
E-Book
,
31. Logic and philosophy
پدیدآورنده : \ Alan Hausman, Howard Kahane, Paul Tidman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Predicate (Logic),حمل (منطق),a05,a05,Logic.,Philosophy.,منطق,فلسفه
رده :
BC
108
.
H32L6
2010
E-Book
,
32. Logic and the Limits of philosophy in Kant and Hegel
پدیدآورنده : \ Clayton Bohnet
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Transcendental logic,منطق متعالی,a06,a06,Kant, Immanuel,1724-1804.,Logic.,Philosophy, German-- 20th century.,کانت ، ایمانوئل، ۱۷۲۴ - ۱۸۰۴م.,منطق,فلسفه آلمانی -- قرن ۲۰م.
رده :
B
2799
.
B6L6
2015
E-Book
,
33. Logic made easy
پدیدآورنده : \ Deborah J. Bennett.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,زبان و منطق,a04,a04,Reasoning.,استدلال
رده :
BC
177
.
B4L6
2004
E
.
Book
,
34. Mathematical Logic
پدیدآورنده : \ Wei Li
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
35. Perspectives in Computational Complexity
پدیدآورنده : \ Manindra Agrawal, Vikraman Arvind Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
36. Quantifiers, Quantifiers, and Quantifiers
پدیدآورنده : \ Alessandro Torza Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
37. Rationality and Decision Making
پدیدآورنده : \ edited by Marek Hetmanski
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Argumentation (Logic),Practical reason,Decision making,ح‍ج‍ت (منطق),عقل عملی,تصمیم‌گیری,a03,a05,a07,a03,a05,a07
رده :
BC177
.
R329
2018
38. Reachability Problems.
پدیدآورنده : \ Mikołaj Bojańczyk , Sławomir Lasota, Igor Potapov (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a04,a03,a04
رده :
QA
76
.
R4
2015
E-Book
,
39. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
40. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
